Sequence Diagrams for Mobility 1

Abstract. There are several kinds of UML diagrams for convenient modelling of behaviour, but these diagrams can be hardly used for modelling mobility. The situation is not very different in the case of agent languages. There exist already some proposals for modelling mobility of interacting agents by graphical notations, but these notations are rather not very intuitive and hard to read if the specification becomes a bit complex. In this paper we propose a new graphical notation for modelling interaction of mobile objects. The notation is based on UML sequence diagrams. We model behaviour of mobile objects using a generalized version of lifelines. For different kinds of actions like creating, entering or leaving a mobile object we use stereotyped messages. We provide also a zoom-out, zoom-in facility allowing us to abstract from specification details. We explain our notation in a series of examples, study its applicability and limits.

Proof Transformation via Interpretation Functions: Results, Problems and Applications

Change is a constant factor in Software Engineering process. Redesign of a class structure requires transformation of the corresponding OCL constraints. In a previous paper we have shown how to use, what we call, interpretation functions for transformation of constraints. In this paper we discuss recently obtained results concerning proof transformations via such functions. In particular we detail the fact that they preserve proofs in equational logic, as well as proofs in other logical systems like propositional logic with modus ponens or proofs using resolution rule. Those results have direct applications to redesign of UML State Machines and Sequence Diagrams. If states in a State Machine are interpreted by State Invariants, then the topological relations between its states can be interpreted as logical relations between the corresponding formulas. Preservation of the consequence relation can bee seen as preservation of the topology of State Machines. We indicate also an unsolved problem and discuss the mining of its positive solution

Proof Transformation via Interpretation Functions: Results, Problems and Applications

Change is a constant factor in Software Engineering process. Redesign of a class structure requires transformation of the corresponding OCL constraints. In a previous paper we have shown how to use, what we call, interpretation functions for transformation of constraints. In this paper we discuss recently obtained results concerning proof transformations via such functions. In particular we detail the fact that they preserve proofs in equational logic, as well as proofs in other logical systems like propositional logic with modus ponens or proofs using resolution rule. Those results have direct applications to redesign of UML State Machines and Sequence Diagrams. If states in a State Machine are interpreted by State Invariants, then the topological relations between its states can be interpreted as logical relations between the corresponding formulas. Preservation of the consequence relation can bee seen as preservation of the topology of State Machines. We indicate also an unsolved problem and discuss the mining of its positive solution

CARUSO: Customer Care and Relationship Support Office

Customer Relationship Management (CRM) is an inherent business strategy for companies big and small. The technology has reached a point where it is truly enabling the way enterprises manage their customer relationships. The goal of the EU funded project CARUSO is the design of a software toolkit that facilitates the building and maintaining of high quality business-to-business and business-to-customer relationships. CARUSO is designed to allow a multi-dimensional way of looking at markets, customers, suppliers, products, personnel, internal and external information, communication and action flow. This will be accomplished by the following core features: front-office application builder with customer care and marketing desk, basic technologies comprising a general communication server, intelligent information, document and contact access, unified messaging, and a customizable user interface. Emphasis will be put on exploiting existing tool packages as much as possible. The CARUSO toolkit is targeted at European Small and Medium Sized Enterprises (SME) and allows them to optimize their business operations to the mutual benefit of both the supplier and the consumer.